This case is not strictly needed for this change. It just demonstrates how this should work normally. But I would think this is already covered. What do you think?

The issue was that on mypy/checker.py on conditional_types function, which is called by this self.chk.conditional_types_with_intersection , the conditional_types returns from here the default value:

When on regular enum that has multiple choices the conditional_types returns here instead:

But the first one returns wrong default value, so I am changing the default value here to be what the get_proper_type returns instead.